Book Review: Homogeneous Linear Substitutions
نویسندگان
چکیده
منابع مشابه
Linear Explicit Substitutions ( Extended
The -calculus [1] adds explicit substitutions to the -calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the -calculus to provide a linear calculus of explicit substitutions which analogously describes the implementation of linear functional programming languages.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1916
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1916-02903-x